Resume: Hvad er den endelige reference eller referenceimplementering for RISC-V ISA på brugerniveau? Kontekst: RISC-V-webstedet har "The RISC-V Instruction Set Manual", der forklarer brugervejledningen meget godt, men giver ikke en nøjagtig specifikation for dem. Jeg prøver at opbygge en ISA-simulator på brugerniveau nu og har til hensigt at skrive en FPGA-implementering senere, så den nøjagtige opførsel er vigtig for mig. En referenceimplementering vil være tilstrækkelig, men bør helst være så enkel som muligt - dvs. jeg vil kun prøve at forstå en pipelined implementering som en sidste udvej. Hvad der er vigtigt er at have en forståelse af den specificerede ISA og ikke en enkelt CPU-implementering eller compiler-implementering. Et eksempel til at vise mit problem er AUIPC-instruktionen: Prosa-forklaringen siger, at "AUIPC danner en 32-bit forskydning fra 20-bit U-øjeblikkelig og udfylder de laveste 12 bit med nuller, tilføjer denne forskydning til pc'en, derefter placerer resultatet i register rd. " Jeg ønskede at vide, om dette refererer til den gamle eller nye pc, dvs. placeringen af AUIPC-instruktionen eller den næste instruktion. Jeg kiggede på "RISCV Angel" -implementeringen, men det ser ud til at skjule de nederste bits på den (gamle) pc - ikke kun den umiddelbare - som jeg ikke kunne finde nogen grund til i specifikationen, ikke engang i skift specifikationens historie (da Angel er lidt ældre). I stedet for et svar har jeg nu to spørgsmål om AUIPC. Mange andre instruktioner udgør lignende problemer for mig.
2021-01-16 08:14:55
AFAICT den RISC-V instruktions sætmanual, du citerer, er den nærmeste ting der er til en endelig reference. Hvis der er ting, der er uklare eller forkerte derinde, kan du åbne problemer på Github-webstedet, hvor dokumentet vedligeholdes: https://github.com/riscv/riscv-isa-manual
Hvad AIUPC angår, er svaret underforstået, men ikke udtrykkeligt angivet, af denne sætning nederst på side 9 i den aktuelle manual:
Der er et ekstra bruger-synligt register: programtælleren pc indeholder adressen på den aktuelle instruktion.
Baseret på denne erklæring ville jeg forvente, at pc-værdien, der ses og manipuleres af AIUPC-instruktionen, er adressen på selve AIUPC-instruktionen.
Denne fortolkning understøttes af diskussionen af JALR-instruktionen:
Den indirekte springinstruktion JALR (jump and link register) bruger I-type kodning. Måladressen opnås ved at tilføje den 12-bit signerede I-øjeblikkelig til registeret rs1 og derefter indstille den mindst signifikante bit af resultatet til nul. Adressen til instruktionen efter springet (pc + 4) er skrevet for at registrere rd.
Da adressen på den følgende instruktion udtrykkes som pc + 4, synes det klart, at pc-værdien, der er synlig under udførelsen af JALR, er adressen på selve JALR-instruktionen.
Det seneste udkast til manualen (på https://github.com/riscv/riscv-isa-manual/releases/download/draft-20190321-ba17106/riscv-spec.pdf) gør situationen lidt klarere. I stedet for dette i den aktuelle manual:
AUIPC tilføjer 12 low-order nulbits til 20-bit U-øjeblikkelig, sign-udvider resultatet til 64 bits, tilføjer det derefter til pc'en og placerer resultatet i register rd.
det seneste udkast siger:
AUIPC danner en 32-bit forskydning fra 20-bit U-øjeblikkelig, udfylder de laveste 12 bit med nuller, tilføjer denne forskydning til pc'en i AUIPC-instruktionen og placerer derefter resultatet i register rd.
|
Dit svar
StackExchange.ifUsing ("editor", funktion () {
StackExchange.using ("externalEditor", funktion () {
StackExchange.using ("uddrag", funktion () {
StackExchange.snippets.init ();
});
});
}, "kodestykke");
StackExchange.ready (funktion () {
var channelOptions = {
tags: "" .split (""),
id: "1"
};
initTagRenderer ("". split (""), "" .split (""), channelOptions);
StackExchange.using ("externalEditor", funktion () {
// Skal redigere editoren efter uddrag, hvis uddrag er aktiveret
hvis (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("uddrag", funktion () {
createEditor ();
});
}
andet {
createEditor ();
}
});
funktion createEditor () {
StackExchange.prepareEditor ({
useStacksEditor: falsk,
heartbeatType: 'svar',
autoActivateHeartbeat: false,
convertImagesToLinks: sand,
noModals: sandt,
showLowRepImageUploadWarning: true,
reputToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Drevet af \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.7256 4.916 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.1419C32.44.064.014 12.6 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.545.5 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-rule = \" evend = \ "M25.6622 17.6335C27.8049 17.6335 29.3739 16.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913.410.56 4.9623 4.6623 .1369 4.56087 21.0134 6.57349 21.0134 9.27932C21.0134 11.9852 23.003 13.913 25.3754 13.913C26.5612 13.913 27.4607 13.4902 28.1109 12.6616C28.1109 12.7229 28.1161 12.7799 28.121 12.8346C28.125 12.222.230 15.2321 24.1352 14.9821 23.5661 14.7787C23.176 14.6393 22.8472 14.5218 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335Z2424.266 27.2119 7.09766 28.0918 7.94324 28.0918 9.27932C28.0918 10.6321 27.2311 11.511626.1024 11.5116C24.9737 11.5116 24.1317 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.828V 11.802879.25 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 4.62866C9.34336 4.62866 8.57809 4.89931 7.9466 5.5079C7.58314.2578.59328 7.10506 4.66232 6.5220.95 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7. 9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z \ "/ \ u003e \ u003cpath d = \" M3.31675 6.59049C3.31675 5.28821 2.83866 4.66232 1.82471 4.6623C .791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59049Z \ "/ u003e \ u003.82012001 0,09 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.7234 1.98861C3.7234 1.1159 2.90056 0.400291 1.87209 0.400291Z \ "fill = \" # 1BB76E \ "/ \ u003e \ u003c \ s u003c / s = ,
contentPolicyHtml: “Brugerbidrag licenseret under \ u003ca href =” https: //stackoverflow.com/help/licensing “\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href =” https://stackoverflow.com / legal / content-policy \ "\ u003e (content policy) \ u003c / a \ u003e",
allowUrls: sandt
},
onDemand: sandt,
discardSelector: ".discard-answer"
, straksShowMarkdownHelp: true, enableTables: true, enableSnippets: true
});
}
});
Tak for dit bidrag til Stack Overflow!
Sørg for at besvare spørgsmålet. Giv detaljer og del din forskning!
Men undgå ...
At bede om hjælp, afklaring eller svar på andre svar.
At afgive udsagn baseret på mening; Sikkerhedskopier dem med referencer eller personlig erfaring.
For at lære mere, se vores tip til at skrive gode svar.
Kladde gemt
Udkast kasseret
Tilmeld dig eller log ind
StackExchange.ready (funktion () {
StackExchange.helpers.onClickDraftSave ( '# login-link');
});
Tilmeld dig ved hjælp af Google
Tilmeld dig via Facebook
Tilmeld dig ved hjælp af e-mail og adgangskode
Indsend
Send som gæst
Navn
E-mail
Nødvendig, men aldrig vist
StackExchange.ready (
funktion () {
StackExchange.openid.initPostLogin ('. Ny-post-login', 'https% 3a% 2f% 2fstackoverflow.com% 2fquestions% 2f55314747% 2frisc-v-bruger-niveau-henvisning-eller-henvisning-implementering% 23new-svar' 'question_page');
}
);
Send som gæst
Navn
E-mail
Påkrævet, men aldrig vist
Skriv dit svar
Kassér
Ved at klikke på "Send dit svar" accepterer du vores servicevilkår, fortrolighedspolitik og cookiepolitik
Er det ikke det svar, du leder efter? Gennemse andre spørgsmål mærket riscv, eller stil dit eget spørgsmål.